$\forall$$k$:Knd, $f$, $g$:Top. ($\uparrow$islocal($k$)) $\Rightarrow$ (kindcase($k$; $a$.$f$($a$); $l$,$t$.$g$($l$,$t$) ) $\sim$ $f$(act($k$)))